Ajtai's one way function